<?php

class Exception_DocumentFileNotFound
    extends Exception {

}

?>